Automated Construction of Reasonable Environment for Java Components
نویسندگان
چکیده
منابع مشابه
Automated Construction of Reasonable Environment for Java Components
In software component verification, one of the challenges is model checking of isolated components. The environment of an isolated component is unknown, and therefore a part of an input to a model checker is missing. This problem can be addressed via automated generation of an artificial environment — component and its environment form a complete program that can be verified using common model ...
متن کاملCad Environment for Automated and Robotic Construction
423 Successful robotic and automated systems require a well defined, structured and controlled work environment . It is therefore clear that before automation in the construction process can be effectively implemented , uniformity and clarity of the various tasks to be automated must be introduced . The structuring of this process must be addressed in the design phase and maintained through to ...
متن کاملReasonable Macros for Ontology Construction and Maintenance
Creating and maintaining ontology knowledge bases are difficult processes that can be improved by using macro or templating languages that help structure the ontology engineering task and reduce unnecessary repetitions of ontology patterns. However, since the templates themselves need to be created and maintained, suitable tool support for their maintenance is vital in order to ensure the quali...
متن کاملA Reasonable C++ Wrappered Java Native Interface
A reasonable C++ Java Native Interface (JNI) technique termed C++ Wrappered JNI (C++WJ) is presented. The technique simplifies current error-prone JNI development by wrappering JNI calls. Provided development is done with the aid of a C++ compiler, C++WJ offers type checking and behind the scenes caching. A tool (jH) patterned on javah automates the creation of C++WJ classes. The paper presents...
متن کاملDeployment of Java-based Components in Embedded Environment
Component-based development has brought the benefits of easier reuse, integration and rapid development into the software engineering process. Many contemporary component-based platforms (e.g. EJB, CCM, SOFA, Fractal) are implemented in Java because of Java features such as platform independence, dynamic loading, type safety, and others. Another reason is that Java becomes more and more ubiquit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.09.033